On Two Hierarchies of Subregularly Tree Controlled Languages
نویسندگان
چکیده
Tree controlled grammars are context-free grammars where the associated language only contains those terminal words which have a derivation where the word of any level of the corresponding derivation tree belongs to a given regular language. In this paper, we consider first the case that we take only such regular languages as the control set which can be represented by finite unions of monoids. We show that the corresponding hierarchy of tree controlled languages collapses already at the level 2. Moreover, we present a characterization of both levels by well-known language families generated by extended Lindenmayer systems. Furthermore, we give some comments on the hierarchy of tree controlled languages if one restricts the number of states allowed in the accepting automaton of the regular control language.
منابع مشابه
Subregularly Tree Controlled Grammars and Languages
Tree controlled grammars are context-free grammars where the associated language only contains those terminal words which have a derivation where the word of any level of the corresponding derivation tree belongs to a given regular language. We present some results on the power of such grammars where we restrict the regular languages to some known subclasses of the family of regular languages.
متن کاملTwo infinite hierarchies of languages defined by branching grammars
Two types of branching grammars are introduced inspired from Havel's works about branching automata. They naturally define two infinite hierarchies into the family of regular, respectively, linear languages. Homomorphic characterisations of regular and linear languages >n terms of branching languages are obtained. Finally, the relations between branching grammars and contextual grammars of [5] ...
متن کاملOutput String Languages of Compositions of Deterministic Macro Tree Transducers
The composition of total deterministic macro tree transducers gives rise to a proper hierarchy with respect to their output string languages (these are the languages obtained by taking the yields of the output trees). There is a language not in this hierarchy which can be generated by a (quite restricted) nondeterministic string transducer, namely, a two-way generalized sequential machine. Simi...
متن کاملMultidimensional fuzzy finite tree automata
This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...
متن کاملLinear Time Hierarchies and Functional Languages
y Abstract In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a rst-order functional language based on tree-structured data (F), as well as for an extension of that language based on graph-structured data (F su). We consider the Categorical Abstract Machine (CAM), a canonical machine model for implementing higher order functional languages. We sh...
متن کامل